\documentclass[a4paper]{article}

\usepackage[spanish]{babel}
\usepackage[latin1]{inputenc}
%\usepackage{bbm}
\usepackage{framed}
\input{macrosAlgo1}

\newcommand{\comen}[2]{%
\begin{framed}	
\noindent \textsf{#1:} #2
\end{framed}
}

\begin{document}

\begin{problema}{finalizarCompetencia}{c:competencia,posiciones:[Atleta],control:[(atleta,Bool)]}{}{}
\requiere{mismos(posiciones,participantes(c))}
\requiere{incluida([x|x \leftarrow prm (control)],participantes(c))}
\modifica{c}
\asegura{categoria(c)==categoria(pre(c))}
\asegura{mismos(participantes(c)==participantes(pre(c)))}
\asegura{finalizada(c)==True}
\asegura{ranking(c)==posiciones}
\asegura{mismos(lesTocoControl(c),control)}
%\asegura{leDioPositivo(c,a) \Ifthenelse{\equal  {a \in [x|x \leftarrow control, x \leftarrow sgdo(control)==True]} {True}} {False}{}
\end{problema}

\end{document}